Debugging Nondeterministic Failures in Linux Programs through Replay Analysis
نویسندگان
چکیده
منابع مشابه
Optimal Record and Replay for Debugging of Nondeterministic MPIRVM Programs
Record and Replay technique has been proved an effective solution to cyclic debugging of nondeterministic parallel program. Because of nondeterminism, a parallel program given the same inputs on successive runs can sometimes produces different results. In this paper; an optimal record and replay technique is presented, which produces less overhead in time and space by using the non-overtaking r...
متن کاملRecord-Replay Debugging for Concurrent SCOOP Programs
We report on the implementation of a record-replay tool for programs written in SCOOP, an object-oriented programming model for concurrency. The tool enables developers to reproduce the nondeterministic execution of a concurrent program, a necessary prerequisite for debugging and testing. The implementation is based on Choi and Srinivasan’s approach of using logical thread schedules, which repr...
متن کاملLeblanc and Mellor - Crummey : Debugging Parallel Programs with Instant Replay
The debugging cycle is the most common methodology for finding and correcting errors in sequential programs. Cyclic debugging is effective because sequential programs are usually deterministic. Debugging parallel programs is considerably more difficult because successive executions of the same program often do not produce the same results. In this paper we present a general solution for reprodu...
متن کاملDebugging shared memory parallel programs using record/replay
This paper presents a debugging aid for parallel program developers. The tool presented enables programmers to use cyclic debugging techniques for debugging non-deterministic parallel programs running on multiprocessor systems with shared memory. The solution proposed consists of a combination of record/replay with automatic on-the-fly data race detection. This combination enables us to limit t...
متن کاملExecution replay and debugging
As most parallel and distributed programs are internally non-deterministic – consecutive runs with the same input might result in a different program flow – vanilla cyclic debugging techniques as such are useless. In order to use cyclic debugging tools, we need a tool that records information about an execution so that it can be replayed for debugging. Because recording information interferes w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Scientific Programming
سال: 2018
ISSN: 1058-9244,1875-919X
DOI: 10.1155/2018/8939027